大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Symposium on Rational Fault Analysis 的图书(共6629本)

Logic-Based Program Synthesis and Transformation [electronic resource] : 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers

0
索取号：
作者：Schreye、 Danny.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Structures for Nuclear Facilities [electronic resource] : Analysis, Design, and Construction

0
索取号：
作者：Bangash、 M.Y.H.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.

Advanced Manufacturing and Sustainable Logistics [electronic resource] : 8th International Heinz Nixdorf Symposium, IHNS 2010, Paderborn, Germany, April 21-22, 2010. Proceedings

0
索取号：
作者：Dangelmaier、 Wilhelm.、Blecken、 Alexander.、Delius、 Robin.、Kl枚pfer、 Stefan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Mutational Analysis [electronic resource] : A Joint Framework for Cauchy Problems in and Beyond Vector Spaces

0
索取号：
作者：Lorenz、 Thomas.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Auditory Display [electronic resource] : 6th International Symposium, CMMR/ICAD 2009, Copenhagen, Denmark, May 18-22, 2009. Revised Papers

0
索取号：
作者：Ystad、 S酶lvi.、Aramaki、 Mitsuko.、Kronland-Martinet、 Richard.、Jensen、 Kristoffer.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Traffic Monitoring and Analysis [electronic resource] : Second International Workshop, TMA 2010, Zurich, Switzerland, April 7, 2010.Proceedings

0
索取号：
作者：Ricciato、 Fabio.、Mellia、 Marco.、Biersack、 Ernst.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Model-Driven Risk Analysis [electronic resource] : The CORAS Approach

0
索取号：
作者：Lund、 Mass Soldal.、Solhaug、 Bj酶rnar.、St酶len、 Ketil.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.

Synchronization and Triggering: from Fracture to Earthquake Processes [electronic resource] : Laboratory, Field Analysis and Theories

0
索取号：
作者：Rubeis、 Valerio.、Czechowski、 Zbigniew.、Teisseyre、 Roman.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Functional and Logic Programming [electronic resource] : 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings

0
索取号：
作者：Blume、 Matthias.、Kobayashi、 Naoki.、Vidal、 Germ谩n.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

LATIN 2010: Theoretical Informatics [electronic resource] : 9th Latin American Symposium, Oaxaca, Mexico, April 19-23, 2010. Proceedings

0
索取号：
作者：L贸pez-Ortiz、 Alejandro.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Designing Public Policies [electronic resource] : An Approach Based on Multi-Criteria Analysis and Computable General Equilibrium Modeling

0
索取号：
作者：Andr茅、 Francisco J.、Cardenete、 M. Alejandro.、Romero、 Carlos.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.

Reconfigurable Computing: Architectures, Tools and Applications [electronic resource] : 6th International Symposium, ARC 2010, Bangkok, Thailand, March 17-19, 2010. Proceedings

0
索取号：
作者：Sirisuk、 Phaophak.、Morgan、 Fearghal.、El-Ghazawi、 Tarek.、Amano、 Hideharu.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance [electronic resource] : 15th International GI/ITG Conference, MMB&DFT 2010, Essen, Germany, March 15-17, 2010. Proceedings

0
索取号：
作者：M眉ller-Clostermann、 Bruno.、Echtle、 Klaus.、Rathgeb、 Erwin P.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

0
索取号：
作者：Esparza、 Javier.、Majumdar、 Rupak.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Programming Languages and Systems [electronic resource] : 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

0
索取号：
作者：Gordon、 Andrew D.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Formal Concept Analysis [electronic resource] : 8th International Conference, ICFCA 2010, Agadir, Morocco, March 15-18, 2010. Proceedings

0
索取号：
作者：Kwuida、 L茅onard.、Sertkaya、 Bar谋艧.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.